abstract data type definition